|
| |
|
|
Pseudofinite structures
Smolík, Martin ; Krajíček, Jan (advisor) ; Šaroch, Jan (referee)
The present thesis is intended for students of logic that are interested in finite model theory. The thesis reports on a construction of structures that are limits of classes of finitely generated structures- the so- called pseudo-finite structures. We will explore namely Fraïssé's amalgamation method. This method has seen use in combinatorics and finite model theory and its generalisation, Hrushovski's method, has been used in geometric model theory. The first part of this thesis is theoretical. Key terms and definitions can be found there alongside formulations and proofs of theorems that describe Fraïssé's method and infer results from it. The second part gives several examples of how this method is used. Powered by TCPDF (www.tcpdf.org)
|
|
|
Anoikonyms and microanoikonyms in the Žďársko region
Foralová, Michaela ; Hájková, Eva (advisor) ; Janovec, Ladislav (referee)
This thesis focuses on 375 minor place-names (hydronyms, oronyms and land names) in the region of Žďársko. The origin of 185 anoikonyms is studied from a linguistic aspect for the first time; the other names are taken from my bachelor thesis. The objective of this thesis is to determine the origin of given minor place-names. The required information was searched in various printed materials, journals and also on the Internet. As an important source for examination several local witnesses have been interviewed and consultation with experts in onomastic was conducted. Methods such as collection, analysis and interpretation of the collected data were used in this thesis. Consequently, after the origin was clarified, the anoikonyms were analyzed according to the so called model theory - it was assigned to individual relational and structural models or types. This thesis aims for systematical approach to minor place-names and their preservation for future generations.
|
|
| |
guest ::
